]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36e9db4) | patch
tools/create-toolbox: Allow skipping mutter build
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 18 Mar 2023 03:45:26 +0000 (04:45 +0100)
committerMarge Bot <marge-bot@gnome.org>
Tue, 16 May 2023 18:20:42 +0000 (18:20 +0000)
commit241011313a07fc168f3a98eb711776cf511c6408
treeae28e3b17f7faccd5c7acb00caba277d6808260ftree | snapshot
parent36e9db4fb7a18d1e16a8e6d2398ada60a85b9a86commit | diff
tools/create-toolbox: Allow skipping mutter build

The container is useless for building or running gnome-shell unless
it includes the correct mutter version, so building it by default
makes sense.

However a manual build can be significantly faster when there's an
existing build dir, so add an option to skip the automatic build.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2713>
tools/toolbox/create-toolbox.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.